<html>
<head>
{% load gaev_extras %}
<title>TPPT</title>
<link rel="stylesheet" type="text/css" href="/static/style.css" />
</head>
<body>
<table>
<tr><td colspan=2><h1>Theory Prover Performance Tool</h1></td></tr>
<tr>
<td class="navigator">
<ul class="menu">
{% if menu_spec %}
	{% for menu_section in menu_spec %}
	<li>{{menu_section.0}}
	<ul>
		{% for menu_link in menu_section.1 %}
		<li><a href="{{menu_link.1}}">{{menu_link.0}}</a>
		{% endfor %}
	</ul>
	{% endfor %}
{% endif %}
</ul>
{% if cart_items %}
<table class="cart">
	<tr><th colspan=2>Cart content</th></tr>
	{% for item in cart_items %}
	<tr>
	<th><a href="{{ item|action:"remove_from_cart" }}">(x)</a></th>
	<td><a href="{{ item|action:"details" }}">{{ item.get_caption }}</a></td>
	</tr>
	{% endfor %}
	<tr><th colspan=2><a href="{{ None|action:"empty_cart" }}">(remove all)</a></td></tr>
</table>
{% endif %}

<div>Based on <br><a href="http://www.tptp.org/">The TPTP Problem Library</a></div>
</td>
<td>
{% block content %}{% endblock %}
</td>
</tr>
</table>

<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script>
<script type="text/javascript">
var pageTracker = _gat._getTracker("UA-3758565-3");
pageTracker._initData();
pageTracker._trackPageview();
</script>
</body>
</html>